\begin{table}
\small
\centering
\begin{tabular}{l||c|c|c|c|c|c|c}
{\bf Netlist}&{\bf Covered / Total}&{\bf Covered}&{\bf Templates}&{\bf Subgraphs}&{\bf ET}&{\bf \textit{n}-value}&{\bf ATL}\\
\hline \hline
{\bf s1196}  &             6 / 263 &        2.28 &             1 &             3 &    1'' &                    1 &       2 \\
\hline
{\bf s1423}  &             6 / 396 &        1.51 &             1 &             3 &    4'' &                    1 &       2 \\
\hline
{\bf s5378}  &            24 / 692 &        3.47 &             5 &            10 &   18'' &                    1 &       2 \\
\hline
{\bf s9234}  &            50 / 568 &        8.80 &             3 &             6 &   12'' &                    1 &       9 \\
\hline
{\bf s13207} &            35 / 981 &        3.57 &             4 &            15 &   27'' &                    1 &       2 \\
\hline
{\bf s15850} &            44 / 516 &        8.53 &             6 &            20 &     1' &                    1 &       2 \\
\end{tabular}\caption[Regularity Extraction MER (noFast) results]{Regularity Extraction MER (noFast) results.\label{t9}}
\end{table}
